home *** CD-ROM | disk | FTP | other *** search
/ NetNews Offline 2 / NetNews Offline Volume 2.iso / news / comp / lang / c-part1 / 1001 < prev    next >
Encoding:
Text File  |  1996-08-05  |  2.5 KB  |  74 lines
  1. Newsgroups: comp.lang.c
  2. Path: nntp.coast.net!torn!sq!msb
  3. From: msb@sq.com (Mark Brader)
  4. Subject: Re: Extracting chars from shorts.
  5. Message-ID: <1996Jan10.202721.5216@sq.com>
  6. Organization: SoftQuad Inc., Toronto, Canada
  7. References: <4d13i0$k3s@lastactionhero.rs.itd.umich.edu>
  8. Date: Wed, 10 Jan 1996 20:27:21 GMT
  9.  
  10. Tom Spindler (dogcow@monet.ccs.itd.umich.edu) writes:
  11. > I'm trying to extracts individual bytes from a double.
  12.  
  13. Apparently he means "from an unsigned short".
  14.  
  15. > The following code doesn't work:
  16. > typedef unsigned char zbyte;  /* unsigned 1 byte quantity */
  17. > typedef unsigned short zword; /* unsigned 2 byte quantity */
  18. > 
  19. > typedef union zw_u_t {
  20. >         zword zword;
  21. >         struct {zbyte hi,lo;} zbyte;
  22. >         } zwordun;
  23.  
  24. That's okay, given that the endianness and the type sizes are known.
  25. Personally I'd rather use an array for the zbyte member, as this
  26. clearly expresses the fact that the bytes are to be contiguous.
  27.  
  28. > #define lo(v)      ((zbyte) (((zwordun) v).zbyte.lo))
  29. > #define hi(v)      ((zbyte) (((zwordun) v).zbyte.hi))
  30. > ...
  31. > One compiler complains that it's an illegal cast, whereas gcc says that the
  32.  
  33. No other type can be converted to a union type in standard C, because
  34. the compiler would have to guess which member of the union to assign to.
  35. Instead of zfoo = lo(foon), write it with a temporary variable:
  36.  
  37.     zwordun ztemp;
  38.     ztemp.zword = foon;
  39.     zfoo = ztemp.zbyte.lo;
  40.  
  41. Having seen this, it's tempting to say
  42.  
  43.   zwordun ztemp; /* global for lo and hi macros */
  44.   #define lo(v)      (ztemp.zword = (v), ztemp.zbyte.lo) /* POOR */
  45.   #define hi(v)      (ztemp.zword = (v), ztemp.zbyte.hi) /* POOR */
  46.  
  47. but this causes undefined behavior if you use two of these expressions
  48. without a sequence point intervening, as in
  49.  
  50.     printf ("hi byte %d, lo byte %d\n", hi(x), lo(x)); /* WRONG */
  51.  
  52. And there is no way to fix this in an expression-like macro.  (The comma
  53. operators do introduce two sequence points, but you need a third one and
  54. there's no way to get it.)
  55.  
  56. Just like the case of swapping two values, using a union this way is
  57. something that is better NOT done with a macro in C.
  58.  
  59.  
  60. But why use a union?  If unsigned short is known to be 2 bytes, then
  61. all you need is
  62.  
  63.     #include <limits.h>
  64.     #define hi(v) ((v) >> CHAR_BIT)
  65.     #define lo(v) ((v) & UCHAR_MAX)
  66.  
  67. The opposite transformation is also easily accomplished with bitwise
  68. operations.
  69. -- 
  70. Mark Brader, msb@sq.com, SoftQuad Inc., Toronto
  71. #define MSB(type)       (~(((unsigned type)-1)>>1))
  72.  
  73. My text in this article is in the public domain.
  74.